A disjunção exclusiva (ou XOR, do inglês Exclusive OR) é uma operação lógica binária que retorna verdadeiro apenas quando um e apenas um dos operandos é verdadeiro. Em outras palavras, a disjunção exclusiva é verdadeira se os operandos forem diferentes entre si.
A tabela da verdade da disjunção exclusiva é a seguinte:
A B Resultado
--------------
V V F
V F V
F V V
F F F
A disjunção exclusiva pode ser representada em diversas linguagens de programação com os símbolos ^ ou XOR. Por exemplo, em Python, podemos usar o operador ^ para realizar a operação XOR:
a = True
b = False
resultado = a ^ b
print(resultado) # resultado será True